Making lifting obstructions explicit
نویسندگان
چکیده
منابع مشابه
Obstructions to Lifting Tropical Curves in Hypersurfaces
Tropicalization takes a curve in a hypersurface in 3-space to a balanced rational weighted graph in a tropical surface. In this paper, we study the ‘lifting’ problem: given a graph in a tropical surface, can one find a corresponding algebraic curve in a hypersurface? We develop specific combinatorial obstructions to a graph lifting by studying the factorizations of polynomials with particular N...
متن کامل9 D ec 1 99 8 On the relation between lifting obstructions and ordinary obstructions
We consider partial liftings k : A → E of maps f : X → B, where (X,A) is a relative CW-complex and E → B is a fibration. In this situation, we have a primary obstruction to extend the partial lifting to a lifting of f on all of X, and there is an obstruction to extend k as an ordinary map into the space E. A relation between these two cohomology classes is proved when the fibre of E → B is an E...
متن کاملObstructions to Embeddability into Hyperquadrics and Explicit Examples
We give series of explicit examples of Levi-nondegenerate real-analytic hypersurfaces in complex spaces that are not transversally holomorphically embeddable into hyperquadrics of any dimension. For this, we construct invariants attached to a given hypersurface that serve as obstructions to embeddability. We further study the embeddability problem for real-analytic submanifolds of higher codime...
متن کاملMaking Implicit Parameters Explicit
In almost all languages all arguments to functions are to be given explicitly. The Haskell class system however is an exception: functions can have class predicates as part of their type signature, and dictionaries are implicitly constructed and implicitly passed for such predicates, thus relieving the programmer from a lot of clerical work and removing clutter from the program text. Unfortunat...
متن کاملMaking Thoughts Explicit:
Testing the validity of knowledge requires formal expression of that knowledge. Formality of an expression is defined as the invariance, under changes of context, of the expression’s meaning, i.e. the distinction which the expression represents. This encompasses both mathematical formalism and operational determination. The main advantages of formal expression are storability, universal communi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the London Mathematical Society
سال: 2012
ISSN: 0024-6115
DOI: 10.1112/plms/pds047